1. A programming language
پدیدآورنده : Iverson, Kenneth E.
موضوع : ، Programming languages )Electronic computers(,، Computer algorithms,، Electronic digital computers-- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997
3. An introduction to the general theory of algorithms
پدیدآورنده : Machtey, Michael.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Computer algorithms,، Recursive functions
رده :
QA
76
.
7
.
M3
4. Combinatorial complexes : a mathematical theory of algorithms
پدیدآورنده : Sellers, Peter H.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(,، Computer algorithms
رده :
QA
76
.
6
.
S448
5. Combinatorial complexes : a mathematical theory of algorithms
پدیدآورنده : Sellers, Peter H.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Programming languages )Electronic computers(,، Algorithms
رده :
QA
76
.
6
.
S448
6. Definition du language algorithmique algol 68
پدیدآورنده : Buffet, J
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
B8
7. How to solve it by computer
پدیدآورنده : / R. G. Dromey,Dromey
کتابخانه: Central Library of Astan Quds Razavi-Hall of Foreign Books (Khorasan Razavi)
موضوع : Computer algorithms,Programming languages (Electronic computers)
رده :
005
.
1
D786H
8. Interactive computer graphics : data structures, algorithms, languages
پدیدآورنده : Giloi, Wolfgang.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer graphics,، Interactive computer systems,، Algorithms,، Programming languages )Electronic computers(,، Data structures )Computer science(
رده :
T
385
.
G54
9. LYaPAS: a programming language for logic and coding algorithms
پدیدآورنده : Edited by M. A. Gavrilov and A. D. Zakrevskii. Translated by Morton Nadler
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Programming languages )Electronic computers(,Computer algorithms,Switching theory
رده :
QA
.
L613
76
.
5
10. LYaPAS: a programming language for logic and coding algorithms
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Computer algorithms,، Switching theory
رده :
QA
76
.
5
.
L6313
11. Masterminds of programming /
پدیدآورنده : edited by Federico Biancuzzi and Shane Warden.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M37
2009
12. Masterminds of programming /
پدیدآورنده : edited by Federico Biancuzzi and Shane Warden.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M37
2009
13. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
14. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
15. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3